COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.TURN ON "%","{"
C00005 00003	.LAST USED LABEL IS P291:
C00007 ENDMK
C⊗;
.TURN ON "%","{";
.FONT 1 "BASL30";		<<normal font>>
.<<FONT 1 "metm";		<<normal font>>
.FONT 2 "BASB30";		<<headings>>
.<<FONT 2 "metmb";		<<headings and new terms>>
.FONT 3 "ASI30.FNT[LSP,JRA]"	<<mexpr font:basi30+>>
.FONT 4 "SUB";			<<subscripts>>
.<<FONT 5 "ASI30.FNT[LSP,JRA]"	<<font of wide mexpr defns>>
.FONT 5 "set1"			<<for meta vars in denotational crap>>
.FONT 6 "ASI30.FNT[LSP,JRA]";		<< font for emphasis>>
.<<FONT 6 "metmi";		<< font for emphasis>>
.FONT 7 "grk30"	
.FONT 8 "SUP";			<<superscripts>>
.FONT 9 "SPEC[LSP,JRA]"		<<spcial chrs. sigma under S, cse under x,delta under D>>
.<<				  composition under ⊗, pi under p>>
.<< 				  baxi30≠ under %9≠>>
.<< 				  baxi30≥ under %9≥>>
.<<				  baxi30 ≡ under %9≡ >>
.<<FONT a "SET1";			<<fancy horse shit>>
.FONT a "buck75";		<<chapter titles and numbers>>
.FONT b "grfx25[LSP,JRA]"	<<box notation>>
.<<FONT c "FIX30";		<<for ∧ and ≡>>

.IF TENPOINT THEN
.FONT c "metMb";		<<for running heads and extraneous junk>>
.   ELSE
.FONT c "metsb";		<<for running heads and extraneous junk>>


.FONT d "NGB30";		<<for denotational semantics>>
.FONT e "GERM35";		<<for true and false>>
.<<FONT e "GERM30.fnt[lsp,jra]";		<<for true and false>>
.FONT f "mg.fnt[lsp,jra]"	<<for scottery and buggery>>
.				 << scott brackets under ( and ) >>
.FONT g "grfx35"		<<yet another attempt at trees>>
.COMMENT 
.
.TREE.FNT CONTAINS:
.G gc marker. A AC pointer. α atom header.~ upper and lower box.
. [ left end. ] right end. NIL. / and \
.LAST USED LABEL IS P291:
.;

.SELECT 1;

.MACRO TABIT1(X)⊂ TURN ON "\" NOFILL TABS X;KRK;⊃
.MACRO TABIT2(X,Y)⊂TURN ON "\" NOFILL TABS X,Y;KRK;⊃
.MACRO TABIT3(X,Y,Z)⊂TURN ON "\" NOFILL TABS X,Y,Z;KRK;⊃

.MACRO CENTERIT ⊂TURN ON "←";NOFILL;KRK;⊃

.comment reduction  parameters are:
. 1. point (below)
. 2. page size in book.pub p .1
. 3. fill spacing in format
. 4. AND RUNNING HEADS IN MACROS
. sigh, whay aren't they all together?;

.IF TENPOINT THEN 
.point←17 <<for reduction to 10 point fonts >>
.  ELSE
.point←14 <<for 12 point fonts >>;


.macro pt2 ⊂skip 2*point mills⊃
.macro pt18 ⊂skip 6*point mills⊃
.macro pt24 ⊂skip 12*point mills⊃

.MACRO EP ⊂ONCE INDENT 6,6,6;SELECT 6;⊃

.MACRO FP ⊂ONCE INDENT 0⊃

.MACRO NL ⊂
.PT2;ONCE INDENT 0,4;FILL;
.⊃

.MACRO EQ ⊂PT18;ONCE CENTER⊃

.MACRO EQ1(N)⊂PT18;BEGIN TABIT1(N);NOFILL;PREFACE 6*POINT MILLS⊃

.MACRO BOXA⊂PT18⊃

.MACRO BOXB⊂PT18⊃

.macro def ⊂PT18; once indent 0,par;⊃

.MACRO LE(Z,X)⊂ONCE FLUSH LEFT; INDENT Z;
¬C X ¬*
.PT24;
.PT2;⊃

.MACRO KRK ⊂INDENT 0⊃


.at NULL ⊂IF  FILLING THEN START ONCE INDENT PAR;END
.         ELSE SKIP 1⊃